- type 0 (1, 2, 3) language
- мова типу 0 (1,2,3) (відповідно до класифікації формальних мов за ієрархією Хомскі)
English-Ukrainian dictionary of microelectronics. 2013.
English-Ukrainian dictionary of microelectronics. 2013.
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Type — may refer to:In philosophy: *A type is a category of being *Type token distinction *Type theory, basis for the study of type systemsIn mathematics: *Type (model theory) *Type or Arity, the number of operands a function takes *Type, any… … Wikipedia
Type safety — In computer science, type safety is a property of some programming languages that is defined differently by different communities, but most definitions involve the use of a type system to prevent certain erroneous or undesirable program behavior… … Wikipedia
Type theory — In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general. In programming language theory, a branch of computer science … Wikipedia
Type punning — FORCETOC In computer science, type punning is a common term for any programming technique that subverts or circumvents the type system of a programming language in order to achieve an effect that would be difficult or impossible to achieve within … Wikipedia
Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to … Wikipedia
Language change — is the manner in which the phonetic, morphological, semantic, syntactic, and other features of a language are modified over time. All languages are continually changing. At any given moment the English language, for example, has a huge variety… … Wikipedia
Language immersion — is a method of teaching a second language (also called L2, or the target language). Unlike a more traditional language course, where the target language is simply the subject material, language immersion uses the target language as a teaching… … Wikipedia
language — 1 Language, dialect, tongue, speech, idiom are comparable when they denote a body or system of words and phrases used by a large community (as of a region) or by a people, a nation, or a group of nations. Language may be used as a general term… … New Dictionary of Synonyms
Language attrition — is the loss of a first or second language or a portion of that language by individuals; it should be distinguished from language loss within a community (the latter process is referred to as language shift or language death). Language attrition… … Wikipedia
Language reform — is a type of language planning by massive change to a language. The usual tools of language reform are simplification and purification. Simplification makes the language easier to use by regularizing vocabulary and grammar. Purification makes the … Wikipedia